Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
intuitionistic logic proof Nuprl constructive drool-proof paper four colour map theorem General Recursion Theorem Nightmare File System PRL exercise, left as an Clausal Language Operating System/360 file system system management Isabelle Tape Operating System system software cutover real operating system TABLOG OS natural language OS/2 Debian HOL deductive tableau IFS natural deduction BOS Virtual Machine System/360 System V System R An Evolutionary System for On-line Programming system call tight loop Disk Operating System embedded system fsck USL AS/400 hierarchical file system TOS system administration CTOS reverse engineering crash Object management system system UnixWare system testing network operating system fatal exception mount A/UX E-carrier system microkernel wheel bit Initial Program Load Distributed Data Management more...